Partial-predicate logic in computer science

Summary In A Logic Covering Undefinedness in Program Proofs [1], Barringer, Cheng and Jones present a 3-valued logic designed for Program-Verification and Computer Science applications in general. In this paper we want to add some the oretical background to their arguments for the need for such a system.     

Polycyclic Aromatic Hydrocarbons Activate the Aryl Hydrocarbon Receptor and the Constitutive Androstane Receptor to Regulate Xenobiotic Metabolism in Human Liver Cells

Polycyclic aromatic hydrocarbons (PAHs) are environmental pollutants produced by incomplete combustion of organic matter. They induce their own metabolism by upregulating xenobiotic-metabolizing enzymes such as cytochrome P450 monooxygenase 1A1 (CYP1A1) by activating the aryl hydrocarbon receptor (AHR). However, previous studies showed that individual PAHs may also interact with the constitutive androstane receptor (CAR). Here, we studied ten PAHs, different in carcinogenicity classification, for their potential to activate AHR- and CAR-dependent luciferase reporter genes in human liver cells. The majority of investigated PAHs activated AHR, while non-carcinogenic PAHs tended to activate CAR. We further characterized gene expression, protein abundancies and activities of the AHR targets CYP1A1 and 1A2, and the CAR target CYP2B6 in human HepaRG hepatoma cells. Enzyme induction patterns strongly resembled the profiles obtained at the receptor level, with AHR-activating PAHs inducing CYP1A1/1A2 and CAR-activating PAHs inducing CYP2B6. In summary, this study provides evidence that beside well-known activation of AHR, some PAHs also activate CAR, followed by subsequent expression of respective target genes. Furthermore, we found that an increased PAH ring number is associated with AHR activation as well as the induction of DNA double-strand breaks, whereas smaller PAHs activated CAR but showed no DNA-damaging potential.     

Immune Checkpoint Inhibitors: A Promising Treatment Option for Metastatic Castration-Resistant Prostate Cancer?

Since 2010, several treatment options have been available for men with metastatic castration-resistant prostate cancer (mCRPC), including immunotherapeutic agents, although the clinical benefit of these agents remains inconclusive in unselected mCRPC patients. In recent years, however, immunotherapy has re-emerged as a promising therapeutic option to stimulate antitumor immunity, particularly with the use of immune checkpoint inhibitors (ICIs), such as PD-1/PD-L1 and CTLA-4 inhibitors. There is increasing evidence that ICIs may be especially beneficial in specific subgroups of patients with high PD-L1 tumor expression, high tumor mutational burden, or tumors with high microsatellite instability/mismatch repair deficiency. If we are to improve the efficacy of ICIs, it is crucial to have a better understanding of the mechanisms of resistance to ICIs and to identify predictive biomarkers to determine which patients are most likely to benefit. This review focuses on the current status of ICIs for the treatment of mCRPC (either as monotherapy or in combination with other drugs), mechanisms of resistance, potential predictive biomarkers, and future challenges in the management of mCRPC.     

Solvent-free oxidation of benzyl alcohol with oxygen using zeolite-supported Au and Au–Pd catalysts

The oxidation of benzyl alcohol to benzaldehyde has been investigated in the absence of solvent using zeolite-supported Au and Au–Pd catalysts. Three zeolites were investigated, ZSM-5, zeolite β and zeolite Y, and these were contrasted with the titanoslicalite TS-1 and TiO₂ as supports. For the Au catalysts the best results are obtained with zeolite β as the support and the conversions were comparable or better than those observed with TiO₂ in terms of turn over frequencies. However, the selectivities observed with the acidic zeolites were lower than the non-acidic TS-1 and TiO₂. This is due to the subsequent reaction of benzaldehyde via acid catalysed reactions to give benzyl benzoate and its dibenzyl acetal, and, in some cases dibenzylether. Initial catalysts were evaluated with a gold loading of 2 wt% and increasing this to 4 wt% showed the expected increase in activity, indicating that there is scope to improve the performance of these catalysts. The most active catalysts were prepared by impregnation and catalysts prepared by deposition precipitation were considerably less active. Introduction of Pd into the catalyst improved the activity without significantly affecting the selectivity.     

Au/ZnO and Au/Fe2O3 catalysts for CO oxidation at ambient temperature: comments on the effect of synthesis conditions on the preparation of high activity catalysts prepared by coprecipitation

The preparation of Au/ZnO and Au/Fe₂O₃ catalysts using two coprecipitation methods is investigated to determine the important factors that control the synthesis of high activity catalysts for the oxidation of carbon monoxide at ambient temperature. In particular, the factors involved in the preparation of catalysts that are active without the need for a calcination step are evaluated. The two preparation methods differ in the manner in which the pH is controlled during the precipitation, either constant pH throughout or variable pH in which the pH is raised from an initial low value to a defined end point. Non-calcined Au/ZnO catalysts prepared using both methods are very sensitive to pH and ageing time, and catalysts prepared at a maximum pH = 5 with a short ageing time (ca. 0–3 h) exhibit high activity. Catalysts prepared at higher pH give lower activity. However, all catalysts require a short operation period during which the oxidation activity increases. In contrast, the calcined catalysts are not particularly sensitive to the preparation conditions. Non-calcined Au/Fe₂O₃ catalysts exhibit high activity when prepared at pH ≥ 5. Calcined Au/Fe₂O₃ prepared using the controlled pH method retain high activity, whereas calcined catalysts prepared using the variable pH method are inactive. The study shows the immense sensitivity of the catalyst performance to the preparation methods. It is therefore not surprising that marked differences in the performance of supported Au catalysts for CO oxidation that are apparent in the extensive literature on this subject, particularly the effect of calcination, can be expected if the preparation parameters are not carefully controlled and reported.     

Developmental, Gustatory, and Behavioral Responses of Leafroller Larvae, Choristoneura rosaceana, to Tannic Acid and Glucose

Soluble sugars are essential nutrients generally perceived as phagostimulants to most insects studied. However, tannins are known as digestibility reducers, hence deleterious to caterpillar development, and as deterrents as well. Previous work demonstrated that larvae of the polyphagous oblique-banded leafroller, Choristoneura rosaceana, performed better when reared on a control + 0.5% tannic acid diet than on the standard control diet and that larvae reared on a control + 5% glucose diet had slower development and reduced survival. This study was designed to elucidate the behavioral and neurophysiological components of the larval responses to tannic acid and glucose. C. rosaceana larvae were reared individually from the first to the sixth instar on one of four different artificial diets: (1) control; (2) control + 5% glucose; (3) control + 0.5% tannic acid; (4) control + 5% glucose + 0.5% tannic acid. After 14 days, larvae reared on the control + 5% glucose diet had not developed past the fourth instar, whereas a considerable proportion of larvae reared on the control + 0.5% tannic acid diet had already attained the pupal stage. Insects reared on the control or the control + 5% glucose + 0.5% tannic acid diet had intermediate development, with most larvae in the fifth instar. In addition, once the mid-sixth instar was reached, the feeding preferences to 25 and 300 mM glucose, 25 mM tannic acid, and 25 mM glucose + 25 mM tannic acid over water were assessed in two-choice tests. Feeding affected preference. Control-reared insects preferred feeding on treatments containing glucose and were not deterred by tannic acid. However, larvae that had been exposed to tannic acid during their development were deterred by tannic acid and their glucose discrimination was impaired. The sensitivity to glucose was also examined from neurophysiological recordings by stimulating the sugar-sensitive cell (cell 1) on the lateral styloconic sensillum of the maxillary galea with increasing concentrations of glucose (1, 10, 25, 50, 100, 200, 300, and 500 mM). We also determined whether tannic acid was phagostimulatory, since insects develop relatively quickly on a diet containing this compound, by testing 1 mM tannic acid, 1 mM tannic acid + 300 mM glucose, and 300 mM glucose on the lateral styloconic sensilla. The traces indicated that 1 mM tannic acid was not detected by any of the four chemosensory cells in these sensilla. The combination of tannic acid and glucose produced no spikes from the sugar-sensitive cell, whereas a prominent spike activity resulted with 300 mM glucose. We concluded that, although C. rosaceana larvae develop faster on a tannic acid diet, this compound is not a phagostimulant. The converse is true for glucose; i.e., it stimulates the sugar-sensitive cell in the lateral styloconica in a concentration-dependent fashion. Previous dietary experience changes the sensory and behavioral responses of C. rosaceana to glucose. Our findings imply that not all compounds that are phagostimulatory are necessarily beneficial to an insect's fitness. Therefore, developmental studies should be interpreted in conjunction with behavioral and physiological data.     

Effects of Purified Persimmon Tannin and Tannic Acid on Survival and Reproduction of Bean Bug, Riptortus clavatus

We evaluated the effects of tannic acid and purified perrsimmon tannin on survival and reproduction of bean bugs, Riptortus clavatus.Feeding behavior of R. clavatus was also examined on sweet (cv. Fuyu) and astringent (cv. Chongdosi) persimmon fruits. Soluble tannin in sweet persimmon fruits decreased from 3% in early June to 0.5% in late September, but it increased from 2 to 8% during the same period in astringent persimmon fruits. More bugs visited sweet than astringent persimmon. Numbers of piercing/sucking spots were higher on sweet than on astringent persimmon. When fed 1 and 3% solutions of persimmon tannin, adult bugs ingested only 64.1 and 9.5% of the amount of water ingested by those offered the control (distilled water). Amounts of persimmon tannin ingested by the adult bugs were 6.5 and 2.8 times higher at 1 and 3% tannin solutions compared to a 0.1% solution. Persimmon tannin exerted negative effects on survival and reproduction of R. clavatus at higher concentrations (1 and 3% solutions). Feeding of R. clavatus adults decreased with increasing tannin concentrations. When results from both sexes were pooled, 50% mortality was achieved at 11 and 4 days after treatment with the 1 and 3% tannin solutions, respectively. Reproduction decreased with 1% tannin, and no eggs were produced with 3% tannin solution. Tannic acid was similar in its effects on R. clavatus. All nymphs died 14, 12, and 7 days after feeding on 0.1, 1, and 3% tannic acid, respectively. Adults were less sensitive than nymphs, and their survival was not affected by 0.1% tannic acid. However. 1 and 3% tannic acid solutions were fatal. Survivorship decreased to 50% at 11 and 6 days after supplying tannin solutions of 1 and 3% concentrations. Higher concentrations (1 and 3%) resulted in reduced reproduction, as was seen with persimmon tannin. Our data may explain why R. clavatus does not invade sweet persimmon orchards until late July, when concentrations of soluble tannin are low enough to allow them to feed.     

Chemistry of hydrogen sulphide under coal liquefaction conditions: 1. Modelling hydrogen transfer catalysis

The work reported here represents initial attempts to develop a complete kinetic and mechanistic understanding of the reaction chemistry of H₂S under coal liquefaction conditions, using both model systems and coal. Hydrogen sulphide was found to promote/catalyse the transfer of hydrogen from tetralin to 2-hydroxyquinoline (2-HOQ). The presence of H₂S can increase the rate of hydrogen transfer from tetralin to 2-HOQ by a factor of 10 compared with the same reaction run in the absence of H₂S. The energy of activation for hydrogen transfer was found to decrease by ≈5 kcal mol⁻¹ in the presence of H₂S. The presence of H₂S was also found to promote loss of oxygen from 2-HOQ to form small amounts of quinoline. No evidence of CC or CN bond cleavage in 2-HOQ was noted under any of the reaction conditions studied. These results suggest that the presence of H₂S reduces the temperatures necessary to promote effective hydrogen transfer from tetralin by 50–75 °C. Moreover, they imply that similar effects occur in H₂S-promoted coal liquefaction.     

Drying magnesia refractories with the flue gas of the tunnel kiln

Conclusions Experiments at the Magnezit Plant confirmed the feasibility of drying magnesia refractories with the flue gas in the first positions of a tunnel kiln. Drying the refractories in the section where the flue gas is tapped off does not result in more rejects or in degradation of the properties of the fired products.Compounding the processes of drying and firing magnesia refractories in a single unit, viz., the tunnel kiln, makes it possible to dispense with the driers the freed floorspace of which can be used for installing equipment for mechanizing the loading of the products on the kiln trucks.Translated from Ogneupory, No. 4, pp. 15–21, April, 1976.     

Avalanching flow of cohesive powders

The flow dynamics of cohesive powders is investigated in rotating cylinders with an L : R ratio of 3 : 1 using experiments and DEM simulations. Flow onset and steady-state behavior are compared for free-flowing (cohesionless) dry glass beads, wet glass beads, and “dry” cohesive powders (lactose, microcrystalline cellulose). The avalanching dynamics of powders is substantially different from those observed for free-flowing or wet-cohesive glass beads. Dry cohesive powders exhibit history-dependent flow dynamics, significant dilation, aperiodic avalanche frequencies, and variable avalanche size. These behaviors also provide a route for effective characterization of cohesive forces under dilated conditions characteristic of unconfined flows.